kanban.jani:model: info: kanban is a CTMC model and will be simulated as an MA.
kanban.jani: info: Using default value of 0.95 for the confidence parameter.
kanban.jani:properties[0]: warning: Cycle detection is not available for long-run average properties.
kanban.jani: warning: Using the Chow-Robbins method for relative-width sequential confidence intervals, which guarantees the requested confidence only asymptotically for decreasing width.
Peak memory usage: 57 MB
Analysis results for kanban.jani
Experiment t=5
Status: Finished
Simulation time: 0.3 s
+ Property Property "throughput"
Estimated value: 0.31055188495423747
Confidence interval: [0.3055072485354356, 0.31559652137303934]
Runs used: 50
Run type: MA
Status: Finished
+ Sample data
Mean: 0.31055188495423747
Variance: 0.0003312329740567635
Skewness: -0.3299974609838931
Kurtosis: 3.710520182384267
+ Error bounds
Statement: CI: 100(1 - α)% of intervals contain true value (CLT assumption)
α: 0.050000000000000044